spec_trans(root,'$initialise_machine',0).
spec_trans(0,'opendoor_test1({(DOOR1|->open),(DOOR2|->open)},DOOR1,{(DOOR1|->locked),(DOOR2|->locked)})',0).
spec_trans(0,'opendoor_test2({(DOOR1|->open),(DOOR2|->closed)},DOOR2,{(DOOR1|->unlocked),(DOOR2|->locked)})',0).
spec_trans(0,'opendoor_test3({(DOOR1|->open),(DOOR2|->open)},DOOR1,{(DOOR1|->unlocked),(DOOR2|->unlocked)})',0).
spec_trans(0,'opendoor_test4({(DOOR1|->open),(DOOR2|->open)},DOOR2,{(DOOR1|->locked),(DOOR2|->unlocked)})',0).
spec_max_reached_for_node(root).
spec_max_reached_for_node(0).
spec_not_all_transitions_added(_) :-
        fail.
spec_completely_explored :-
        fail.
